#!/bin/bash

rv_root=/opt/rv-Linux-x86-64-6.2.7/bin

$rv_root/rv $*
